Proofs involving CPCTC and Beyond